add_library(glucose "Solver.cc" "../Simp/SimpSolver.cc")
target_include_directories(glucose PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/../..)
target_include_directories(glucose PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/..)
